<?php
function score(array $input) {
    $var0 = null;
    if (($input[2]) > (3.1500000000000004)) {
        $var0 = -1.1986122886681099;
    } else {
        if (($input[1]) > (3.35)) {
            $var0 = -0.8986122886681098;
        } else {
            $var0 = -0.9136122886681098;
        }
    }
    $var1 = null;
    if (($input[2]) > (3.1500000000000004)) {
        if (($input[2]) > (4.450000000000001)) {
            $var1 = -0.09503010837903424;
        } else {
            $var1 = -0.09563272415214283;
        }
    } else {
        if (($input[1]) > (3.35)) {
            $var1 = 0.16640323607832397;
        } else {
            $var1 = 0.15374604217339707;
        }
    }
    $var2 = null;
    if (($input[2]) > (1.8)) {
        if (($input[3]) > (1.6500000000000001)) {
            $var2 = -1.2055899476674514;
        } else {
            $var2 = -0.9500445227622534;
        }
    } else {
        $var2 = -1.2182214705715104;
    }
    $var3 = null;
    if (($input[3]) > (0.45000000000000007)) {
        if (($input[3]) > (1.6500000000000001)) {
            $var3 = -0.08146437273923739;
        } else {
            $var3 = 0.14244886188108738;
        }
    } else {
        if (($input[2]) > (1.4500000000000002)) {
            $var3 = -0.0950888159264695;
        } else {
            $var3 = -0.09438233722389686;
        }
    }
    $var4 = null;
    if (($input[3]) > (1.6500000000000001)) {
        if (($input[2]) > (5.3500000000000005)) {
            $var4 = -0.8824095771015287;
        } else {
            $var4 = -0.9121126703829481;
        }
    } else {
        if (($input[2]) > (4.450000000000001)) {
            $var4 = -1.1277829563828181;
        } else {
            $var4 = -1.1794405099157212;
        }
    }
    $var5 = null;
    if (($input[2]) > (4.750000000000001)) {
        if (($input[2]) > (5.150000000000001)) {
            $var5 = 0.16625543464258166;
        } else {
            $var5 = 0.09608601737074281;
        }
    } else {
        if (($input[0]) > (4.950000000000001)) {
            $var5 = -0.09644547407948921;
        } else {
            $var5 = -0.08181864271444342;
        }
    }
    return softmax(array(($var0) + ($var1), ($var2) + ($var3), ($var4) + ($var5)));
}
function softmax(array $x) {
    $size = count($x);
    $result = array();
    $m = max($x);
    $sum = 0.0;
    for ($i = 0; $i < $size; ++$i) {
        $result[$i] = exp($x[$i] - $m);
        $sum += $result[$i];
    }
    for ($i = 0; $i < $size; ++$i) {
        $result[$i] /= $sum;
    }
    return $result;
}
